Automated reasoning - PDFSEARCH.IO - Document Search Engine

Automated reasoning
Results: 284

#	Item
161	CSC2542 Topics in Knowledge Representation and Reasoning: Automated Reasoning Winter 2006 Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-01-19 13:12:01 Knowledge Conferences Seminar Knowledge representation and reasoning Logic Teaching Education Science
162	Standalone Tactics using OpenTheory Ramana Kumar?1 and Joe Hurd2 1 University of Cambridge Add to Reading List Source URL: www.gilith.com Language: English - Date: 2012-06-04 20:10:04 Logic in computer science Automated theorem proving Formal methods Proof assistant Isabelle HOL Automated reasoning Logic for Computable Functions Theorem Proving in Higher-Order Logics Theoretical computer science Mathematical software Mathematics
163	The Rich Model Toolkit EU COST Action IC0901 Paul Jackson University of Edinburgh AI4FM Kick-Off Meeting Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:29 Theoretical computer science Artificial intelligence Automated reasoning Reasoning Mathematics Computer science Logic in computer science Applied mathematics Automated theorem proving
164	Plan Recognition in Intrusion Detection Systems Christopher W. Geib and Robert P. Goldman Honeywell Labs 3660 Technology Drive Minneapolis, MNUSA geib,goldman @htc.honeywell.com Add to Reading List Source URL: rpgoldman.goldman-tribe.org Language: English - Date: 2009-08-06 12:04:58 Multi-agent systems Automated planning and scheduling Reasoning system Procedural reasoning system Hierarchical task network Planning Artificial intelligence Cognitive architecture Problem solving
165	Curriculum Vitae Laura Ildik´o Kov´acs A SSOCIATE P ROFESSOR Department of Computer Science and Engineering Chalmers University of TechnologyGothenburg Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-02-19 17:06:43 Logic in computer science Automated theorem proving Formal methods Artificial intelligence Automated reasoning Computer science Formal verification Model checking Symbolic computation Theoretical computer science Applied mathematics Mathematics
166	[hal, v1] Proof Certi?cation in Zenon Modulo: When Achilles Uses Deduction Modulo to Outrun the Tortoise with Shorter Steps Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-01-28 10:11:41 Logical syntax Logic in computer science Proof theory Mathematical logic Mathematical proof Theorem Formal proof Automated reasoning Logic Mathematics Automated theorem proving
167	A General Framework for Expressing Preferences in Causal Reasoning and Planning Torsten Schaub∗ Institut f¨ur Informatik Universit¨at Potsdam Postfach Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2006-11-29 16:27:00 Logic in computer science Theoretical computer science Decision theory Linear temporal logic Temporal logic Preference Planning Domain Definition Language Fluent Utility Logic Automated planning and scheduling Mathematical logic
168	Generating Counterexamples for Structural Inductions by Exploiting Nonstandard Models Jasmin Christian Blanchette1? and Koen Claessen2 2 1 Institut für Informatik, Technische Universität München, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2010-10-25 11:45:35 Mathematical proofs Inductive reasoning Mathematical induction Graph theory Structural induction Constructible universe First-order logic Automated theorem proving Mathematics Logic Mathematical logic
169	Enhancing Davis Putnam with Extended Binary Clause Reasoning Fahiem Bacchus Dept. Of Computer Science University Of Toronto Toronto, Ontario Canada, M5S 1A4 Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2002-04-08 12:32:58 Mathematical logic Constraint programming Formal methods Logic in computer science Boolean algebra Boolean satisfiability problem Unit propagation Resolution Davis–Putnam algorithm Theoretical computer science Mathematics Automated theorem proving
170	J. Autom. Reasoning manuscript No. (will be inserted by the editor) Semi-intelligible Isar Proofs from Machine-Generated Proofs Jasmin Christian Blanchette · Sascha Böhme · Mathias Fleury · Steffen Juilf Smolka · Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Automated theorem proving Proof theory Mathematical proofs Logical syntax First-order logic Proof assistant Theorem Isabelle Natural deduction Logic Mathematics Mathematical logic

UPDATE